再帰的関数 = 表現可能